|
1. |
High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings / edited by Koen Bosschere, David Kaeli, Per Stenström, David Whalley, Theo Ungerer.
|
2007 |
e-book |
SpringerLink, via BECYT |
|
2. |
Transactions on High-Performance Embedded Architectures and Compilers I / edited by Per Stenström.
|
2007 |
e-book |
SpringerLink, via BECYT |
|
3. |
Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings / edited by Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp.
|
2007 |
e-book |
SpringerLink, via BECYT |
|
4. |
Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings / edited by Lynn Choi, Yunheung Paek, Sangyeun Cho.
|
2007 |
e-book |
SpringerLink, via BECYT |
|
5. |
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings / edited by Nadine Azémard, Lars Svensson.
|
2007 |
e-book |
SpringerLink, via BECYT |
|
6. |
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings / edited by Johan Vounckx, Nadine Azemard, Philippe Maurine.
|
2006 |
e-book |
SpringerLink, via BECYT |
|
7. |
Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings / edited by Chris Jesshope, Colin Egan.
|
2006 |
e-book |
SpringerLink, via BECYT |
|
8. |
A Roadmap for Formal Property Verification / by Pallab DasGupta.
|
2006 |
e-book |
SpringerLink, via BECYT |
|
9. |
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings / edited by Vassilis Paliouras, Johan Vounckx, Diederik Verkest.
|
2005 |
e-book |
SpringerLink, via BECYT |
|
10. |
Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings / edited by Thambipillai Srikanthan, Jingling Xue, Chip-Hong Chang.
|
2005 |
e-book |
SpringerLink, via BECYT |
|
11. |
High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings / edited by Tom Conte, Nacho Navarro, Wen-mei W. Hwu, Mateo Valero, Theo Ungerer.
|
2005 |
e-book |
SpringerLink, via BECYT |
|
12. |
Taxonomies for the Development and Verification of Digital Systems / edited by Brian Bailey, Grant Martin, Thomas Anderson.
|
2005 |
e-book |
SpringerLink, via BECYT |
|
13. |
High-speed digital design : a handbook of black magic / Howard W. Johnson, Martin Graham.
|
1993 |
Libro |
1265
JOH
|
